extension | φ:Q→Out N | d | ρ | Label | ID |
C5:Q16:1C22 = D20.29D4 | φ: C22/C1 → C22 ⊆ Out C5:Q16 | 80 | 4 | C5:Q16:1C2^2 | 320,1434 |
C5:Q16:2C22 = D8:11D10 | φ: C22/C1 → C22 ⊆ Out C5:Q16 | 80 | 4 | C5:Q16:2C2^2 | 320,1442 |
C5:Q16:3C22 = SD16:D10 | φ: C22/C1 → C22 ⊆ Out C5:Q16 | 80 | 8- | C5:Q16:3C2^2 | 320,1445 |
C5:Q16:4C22 = D5xC8.C22 | φ: C22/C1 → C22 ⊆ Out C5:Q16 | 80 | 8- | C5:Q16:4C2^2 | 320,1448 |
C5:Q16:5C22 = D40:C22 | φ: C22/C1 → C22 ⊆ Out C5:Q16 | 80 | 8+ | C5:Q16:5C2^2 | 320,1449 |
C5:Q16:6C22 = C2xSD16:D5 | φ: C22/C2 → C2 ⊆ Out C5:Q16 | 160 | | C5:Q16:6C2^2 | 320,1432 |
C5:Q16:7C22 = C2xSD16:3D5 | φ: C22/C2 → C2 ⊆ Out C5:Q16 | 160 | | C5:Q16:7C2^2 | 320,1433 |
C5:Q16:8C22 = C2xD5xQ16 | φ: C22/C2 → C2 ⊆ Out C5:Q16 | 160 | | C5:Q16:8C2^2 | 320,1435 |
C5:Q16:9C22 = C2xQ16:D5 | φ: C22/C2 → C2 ⊆ Out C5:Q16 | 160 | | C5:Q16:9C2^2 | 320,1436 |
C5:Q16:10C22 = D5xC4oD8 | φ: C22/C2 → C2 ⊆ Out C5:Q16 | 80 | 4 | C5:Q16:10C2^2 | 320,1439 |
C5:Q16:11C22 = Q16:D10 | φ: C22/C2 → C2 ⊆ Out C5:Q16 | 80 | 4 | C5:Q16:11C2^2 | 320,1440 |
C5:Q16:12C22 = D8:5D10 | φ: C22/C2 → C2 ⊆ Out C5:Q16 | 80 | 8+ | C5:Q16:12C2^2 | 320,1446 |
C5:Q16:13C22 = D8:6D10 | φ: C22/C2 → C2 ⊆ Out C5:Q16 | 80 | 8- | C5:Q16:13C2^2 | 320,1447 |
C5:Q16:14C22 = C40.C23 | φ: C22/C2 → C2 ⊆ Out C5:Q16 | 80 | 8+ | C5:Q16:14C2^2 | 320,1450 |
C5:Q16:15C22 = C2xC20.C23 | φ: C22/C2 → C2 ⊆ Out C5:Q16 | 160 | | C5:Q16:15C2^2 | 320,1480 |
C5:Q16:16C22 = C20.C24 | φ: C22/C2 → C2 ⊆ Out C5:Q16 | 80 | 4 | C5:Q16:16C2^2 | 320,1494 |
C5:Q16:17C22 = C2xD4.9D10 | φ: C22/C2 → C2 ⊆ Out C5:Q16 | 160 | | C5:Q16:17C2^2 | 320,1495 |
C5:Q16:18C22 = D20.33C23 | φ: C22/C2 → C2 ⊆ Out C5:Q16 | 80 | 8- | C5:Q16:18C2^2 | 320,1508 |
C5:Q16:19C22 = D20.34C23 | φ: C22/C2 → C2 ⊆ Out C5:Q16 | 80 | 8+ | C5:Q16:19C2^2 | 320,1509 |
C5:Q16:20C22 = C2xD4.8D10 | φ: trivial image | 160 | | C5:Q16:20C2^2 | 320,1493 |
C5:Q16:21C22 = D20.32C23 | φ: trivial image | 80 | 8+ | C5:Q16:21C2^2 | 320,1507 |